Undo part of previous change
authorGlenn Morris <rgm@gnu.org>
Sat, 5 May 2012 02:28:00 +0000 (19:28 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 5 May 2012 02:28:00 +0000 (19:28 -0700)
commitfae881c1b6806087c37b67b85c4f085b0bf12f47
treec74ce019359051614ac6b036cf4366288b0385b7
parenta5904565029eb21d9c09a022aff97856514a2c02
Undo part of previous change
doc/lispref/internals.texi